initial value problem definition